翻訳と辞書 |
J. Roger Hindley : ウィキペディア英語版 | J. Roger Hindley
J. Roger Hindley is a prominent British logician best known for the Hindley–Milner type inference algorithm. Since 1998, he has been an Honorary Research Fellow at Swansea University.〔(Hindley's Swansea homepage )〕 ==Education== Hindley graduated in 1960 from Queen's University Belfast, remaining to earn a M.Sc. in 1961. He went on to receive a Ph.D. in 1964 from University of Newcastle upon Tyne, where his thesis supervisor was Ronald Harrop. Later, he returned to Queen's University for a D.Sc. in 1991.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「J. Roger Hindley」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|